projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c70c080) | patch
* Guarantee fwprop convergence and termination
authorAndrea Corallo <akrl@sdf.org>
Thu, 17 Dec 2020 16:31:22 +0000 (17:31 +0100)
committerAndrea Corallo <akrl@sdf.org>
Mon, 21 Dec 2020 19:22:03 +0000 (20:22 +0100)
commit3540b1f167d63e1a38ec0719f909dcda60c77ad3
tree5461c9a6fd7616dbcb467eefbf38f727a947731ftree | snapshot
parentc70c08013f96438b640e07f884349d9436897252commit | diff
* Guarantee fwprop convergence and termination

* lisp/emacs-lisp/comp.el (comp-emit-call-cstr): Have new-mvar as
LHS *and* RHS when constraining in and to ensure monotonicity and
fwprop convergence.
(comp-fwprop): Raise a warning for debug reasons in case fwprop
does not converge within 100 iterations.
lisp/emacs-lisp/comp.el diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.